A Stochastic Causality-Based Process Algebra
نویسندگان
چکیده
منابع مشابه
A Stochastic Causality-Based Process Algebra
Thi spaperdi scussesstochasti cextensi onsofasi mpl eprocessal gebrai nacausal i ty-based setti ng. Atomi c acti ons are supposed to happen after a del ay that i s deter-mi ned bya stochasti c vari abl e wi th acertai n di stri buti on. Asi mpl e stochasti c type of event structures i s di scussed, restri cti ng the di stri buti on functi ons to be expo-nenti al. Acorrespondi ngoperati onalsema...
متن کاملA Stochastic Process Algebra Based Modelling Tool
The incorporation of time into classical process algebras aiming at the integration of functional design and performance analysis has become very popular recently. There are many ways to include time in process algebras. Current research in this area concentrates mainly on the annotation of actions with exponentially distributed random variables. This allows us to make use of a large repertoire...
متن کاملMPA: a Stochastic Process Algebra
Process algebras constitute one of the main tools for modeling and analyzing concurrent systems. Unfortunately, with classical process algebras only the functional aspect of the behavior of concurrent systems can be modeled and analyzed. Since the relevance of integrating the performance modeling and evaluation into the process of specification, design and implementation of concurrent systems h...
متن کاملNumerically Representing A Stochastic Process Algebra
The syntactic nature and compositionality characteristic of stochastic process algebras make models to be easily understood by human beings, but not convenient for machines as well as people to directly carry out mathematical analysis and stochastic simulation. This paper presents a numerical representation schema for the stochastic process algebra PEPA, which can provide a platform to directly...
متن کاملA Process Algebra for Stochastic Music Composition
The Musical Weighted Synchronous Calculus of Communicating Systems (MWSCCS) process algebra is presented. The algebra permits the design of stochastic automata which perform a variety of musically interesting behaviours, including both vertical and horizontal reactive behaviour between processes. A notable feature is the ability to formally model complex stochastic musical systems with a simple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.7.552